检索结果

Select

1. 无线传感器网络中载体的自主移动策略

汤海建, 鲍宇, 闵玄, 罗煜璇, 邹宇驰

计算机应用 2016, 36 (2): 478-482. DOI: 10.11772/j.issn.1001-9081.2016.02.0478

摘要（453）

PDF （806KB）（824）

针对部署在复杂环境中或者不易抵达区域的无线传感器网络(WSN)由于受环境影响,其节点修复、定点投放或搜索救援等环节存在人身安全、不易修复等问题,提出一种WSN中载体的自主移动策略。该策略首先基于少量锚节点,结合最大似然估计算法和接收的信号强度指示(RSSI)定位技术实现移动载体自身定位;然后依靠数学模型,根据当前获取的定位信息及目标节点坐标,完成下一步目标节点的选取和前进角度的修正,以最终实现移动载体的自主移动。仿真结果表明,该策略能够确保载体沿较短路径,在较短时间内到达目的地;且传感器节点密度越大,该策略成功率越高,分别对规模为130、180、300的无线传感器网络进行了仿真,成功率高达96.7%。

参考文献 | 相关文章 | 多维度评价

Select

2. 用于程序循环控制的错误检测算法

邹宇, 薛小平, 张芳, 潘勇, 潘腾

计算机应用 2015, 35 (12): 3450-3455. DOI: 10.11772/j.issn.1001-9081.2015.12.3450

摘要（400）

PDF （945KB）（320）

为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术(ANBD)码的循环控制错误检测算法。该算法通过ANBD码,将程序变量编码为含签名的码字。通过校验码字签名,检测循环控制错误。运用ANBD码中的时间标签,可检测内存未更新错误。另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误。该算法理论错误漏检概率为1/ A,其中A为编码素数,选取97~10993的素数进行错误漏检概率测试,得到理论模型与测试结果的归一化均方误差(NMSE)约为-30 dB。测试结果表明,该算法可检测循环控制中出现的各类错误,且编码素数 A接近2 ³²时,错误漏检概率可达10 ^-9,能够满足安全苛求系统的应用要求。

参考文献 | 相关文章 | 多维度评价

Select

3. 质点法机器证明视角下的近世几何研究

李涛邹宇

计算机应用 2012, 32 (11): 3057-3061. DOI: 10.3724/SP.J.1087.2012.03057

摘要（876）

PDF （587KB）（408）

优化并发展了质点法机器证明算法的核心程序，用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴，首次实现了近世几何的机器证明，且可读性令人满意。在该证明器的帮助下，发现了一些新的近世几何性质，深化了近世几何的研究成果，并对已有的近世几何研究成果提出一些意见。

参考文献 | 相关文章 | 多维度评价

Select

4. 仿射质点几何的可读机器证明

邹宇郑焕张景中

计算机应用 2010, 30 (07): 1899-1901.

摘要（936）

PDF （608KB）（1099）

讨论并发展了能自动证明几何定理的质点几何方法，建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示，这种方法不仅效率高，多数证明的可读性也令人满意。